package edu.gatech.cc.concolic.expression;


public class IINC extends UnaryOperator implements IntegerExpression {

	private int increment;
	
	public IINC(IntegerExpression expression, int increment) {
		super(expression);
		this.increment = increment;
	}

	public int increment() {
		return increment;
	}
	
	@Override
	public String toString() {
		return String.format("(%s + %d)", expression, increment);
	}
	
	public void accept(SymbolicExpressionVisitor visitor) {
		visitor.visit(this);
	}

}
